Równanie fal walcowych. Metoda redukcji
Rozważmy równanie fali dla \( \hskip 0.3pc n=2\hskip 0.3pc \)
z warunkami początkowymi
gdzie \( \hskip 0.3pc D\subset \mathbb R^2\hskip 0.3pc \), \( \hskip 0.3pc\Delta = \frac {\partial ^2}{\partial x^2}+ \frac{\partial ^2}{\partial y^2}\hskip 0.3pc \).
Okazuje się, że nie widać prostego podstawienia które pozwoliłoby zredukować problem dwuwymiarowy do problemu jednowymiarowego. Posłużymy się więc następującym chwytem. Rozważamy nasz problem w przestrzeni trójwymiarowej przyjmując, że funkcje występujące w równaniu nie zależą od zmiennej \( \hskip 0.3pc z\hskip 0.3pc \). Mianowicie połóżmy
Niech \( \hskip 0.3pc \widetilde u\hskip 0.3pc \) będzie rozwiązaniem problemu
gdzie \( \hskip 0.3pc V=D\times \mathbb R\hskip 0.3pc \).
Niech \( \hskip 0.3pc P_0=(x_0,y_0)\in D\hskip 0.3pc \) i niech \( \hskip 0.3pc S(P_0,at)\hskip 0.3pc \) i \( \hskip 0.3pc K(P_0,at)\hskip 0.3pc \) oznacza, odpowiednio sferę i kulę w przestrzeni \( \hskip 0.3pc \mathbb R^2\hskip 0.3pc \) zawarte w \( \hskip 0.3pc D\hskip 0.3pc \) o środku w punkcie \( \hskip 0.3pc P_0\hskip 0.3pc \) i promieniu \( \hskip 0.3pc a t\hskip 0.3pc \), a \( \hskip 0.3pc \widetilde S(\widetilde P_0,at)\hskip 0.3pc \) i \( \hskip 0.3pc \widetilde K(\widetilde P_0,at)\hskip 0.3pc \), gdzie \( \hskip 0.3pc \widetilde P_0=(x_0,y_0,z_0)\hskip 0.3pc \), \( \hskip 0.3pc z_0 \in \mathbb R\hskip 0.3pc \), sferę i kulę w przestrzeni \( \hskip 0.3pc \mathbb R^3\hskip 0.3pc \). Niech \( \hskip 0.3pc \widetilde P = (\xi, \eta, \zeta) \hskip 0.3pc \) będzie punktem bieżącym na sferze \( \hskip 0.3pc \widetilde S(\widetilde P_0,at)\hskip 0.3pc \).
Na mocy wzoru Kirchhoffa
Zamieńmy teraz całki powierzchniowe we wzorze ( 3 ) na całki podwójne. Oczywiście równanie sfery \( \hskip 0.3pc \widetilde S(\widetilde P_0, \,at) \hskip 0.3pc \) możemy zapisać za pomocą równań półsfer:
gdzie \( \hskip 0.3pc K(P_0,at)\hskip 0.3pc \) oznacza kulę domkniętą w przestrzeni \( \hskip 0.3pc \mathbb R^2\hskip 0.3pc \), a
Nietrudno sprawdzić, że element powierzchniowy na obu półsferach wyraża się wzorem
W konsekwencji, uwzględniając definicje funkcji \( \hskip 0.3pc \widetilde{\varphi}\hskip 0.3pc \) i \( \hskip 0.3pc \widetilde {\psi}\hskip 0.3pc \), po zamianie całek powierzchniowych na całki podwójne, otrzymamy
Ponieważ punkt \( \hskip 0.3pc (x_0,y_0)\in D\hskip 0.3pc \) był dobrany dowolnie, możemy opuścić wskaźnik \( \hskip 0.3pc 0.\hskip 0.3pc \) Ponadto, uwzględniając związek \( \hskip 0.3pc u(x,y,t)=\widetilde u(x ,y,z,t),\hskip 0.3pc \) otrzymamy rozwiązanie problemu ( 1 ), ( 2 ) w postaci tzw. wzoru Poissona:
Przykład 1: Niejednorodne równanie fal walcowych
Znaleźć rozwiązanie niejednorodnego równania fali płaskiej
spełniające warunki początkowe
Zgodnie z zasadą liniowości rozwiązanie tego problemu możemy przedstawić jako sumę rozwiązania problemu ( 1 ), ( 2 ) oraz problemu
Rozważamy problem pomocniczy
Zgodnie ze wzorem Poissona rozwiązanie tego problemu możemy zapisać w postaci
Prosty rachunek pokazuje, że funkcja
jest rozwiązaniem problemu ( 4 ).
Zatem szukane rozwiązanie ma postać: